$\forall$$k$:Knd. $k$ = $k$ $\sim$ tt